<?php

class PermissionDeniedException extends Exception
{
} 